Answer Synthesis for CLP Programs with Negation
نویسندگان
چکیده
Rewrite techniques can be used to execute logic programs in order to avoid some drawbacks of classical Prolog resolution. Logic programs are represented as rewrite programs whose operational mechanism, inspired from Knuth-Bendix completion, allows to prune some unnecessary computations and ooers a synthesis ability which enables to represent innnite sets of answers as nite sets of formulas. We propose here a full extension of this approach to Constraint Logic Programming (CLP) with negation. Issued from rewrite techniques, a very powerful simpliication rule is deened, available in a more general context than strict instantiation. Thanks to this rule, solutions are obtained as a set of constrained rewrite rules with more expressive power than simple constraints used in a classical CLP framework. Thus, our mechanism, integrating both non symbolic constraints and negation, keeps the loop avoiding and synthesis properties. Furthermore, the system is proved sound and complete with regard to the standard CLP semantics.
منابع مشابه
Answers Synthesis for CLP with Negation
Rewrite techniques can be used to execute logic programs in order to avoid some drawbacks of classical Prolog resolution. Logic programs are represented as rewrite programs whose operational mechanism, inspired from Knuth-Bendix completion, allows to prune some unnecessary computations and offers a synthesis ability which enables to represent infinite sets of answers as finite sets of formulas....
متن کاملConstructive Negation in CLP(H)
Inclusion of negation into logic programs is considered traditionally to be painful as the incorporation of full logic negation tends to super-exponential time complexity of the prover. Therefore the alternative approaches to negation in logic programs are studied and among them, the procedural negation as failure sounds to be the most successful and the most widely used. However, with the spre...
متن کاملConstructive Negation and Constraints
Inclusion of negation into logic programs is considered traditionally to be painful as the incorporation of full logic negation tends to super-exponential time complexity of the prover. Therefore the alternative approaches to negation in logic programs are studied and among them, the procedural negation as failure sounds to be the most successful and the most widely used. However, Constraint Lo...
متن کاملSmodelsA - A System for Computing Answer Sets of Logic Programs with Aggregates
In [2], we presented a system called ASP-CLP for computing answer sets of logic programs with aggregates. The implementation of ASP-CLP relies on the use of an external constraint solver (ECLiPSe) to deal with aggregate literals and requires some modifications to the answer set solver used in the experiment (SMODELS). In general, the system is capable of computing answer sets of arbitrary progr...
متن کاملIntensional Negation in Constraint Logic Programs
In this paper we de ne a new compilative version of constructive negation (intensional negation) in CLP and we prove its (non-ground) correctness and completeness wrt the 3-valued completion. We show that intensional negation is essentially equivalent to constructive negation and that it is indeed more e cient, as one would expect from the fact that it is a compilative technique, with the trans...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Logic Journal of the IGPL
دوره 5 شماره
صفحات -
تاریخ انتشار 1997